منابع مشابه
Beautiful Interpolants
We describe a compositional approach to Craig interpolation based on the heuristic that simpler proofs of special cases are more likely to generalize. The method produces simple interpolants because it is able to summarize a large set of cases using one relatively simple fact. In particular, we present a method for finding such simple facts in the theory of linear rational arithmetic. This make...
متن کاملTwo “what if” experiments
Three perspectives are better than one. And it has been over 15 years since the two papers under discussion were published--a long time to remember who was thinking what. So the three of us (Roger, Jun, and I) will have three separate goes at reconstructing the events. For over 10 years, and through the early 1980s, our lab had concentrated on gene regulation in phage lambda. By 1985 we had cle...
متن کاملCan Small Be Beautiful?
Etched into the memory of Asraf Ali, was the day in 1987 when the banks of the mighty river Brahmaputra overflowed and washed away the family home. Only 13 years old at the time, he lost both his parents, and their small piece of land to severe flooding in the municipality of Gaibandha, in Bangladesh. He remained homeless until he moved to the centre of Gaibandha to seek work as a pushcart driv...
متن کاملFramelets—small is beautiful
The contribution introduces the notion of framelets. They are essentially small frameworks. Thus framelets can be easily understood and modified. As framelets are not aimed at complex application domains, they can also be assembled without the problems associated with the combination of large frameworks. Our first experiences with framelets demonstrate that these architectural building blocks a...
متن کاملBeautiful Physics at Cdf
B-physics with pp collisions at CDF is reviewed, including production cross sections, masses, and decay properties. with a focus on lifetime and mixing measurements. A two-component lifetime t of B 0 s ! ` + D ? s X results in the limit ? s =? s < 0:81 (95% C.L.), which is converted into an indirect upper bound on m s. From our ve B 0 d-B 0 d oscillation analyses, we highlight the use of \same ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific American
سال: 1878
ISSN: 0036-8733
DOI: 10.1038/scientificamerican03021878-129b